< x : Bool >.x
